.frontside { 
    background-image: url('pix/front.jpg'); 
    height: 201px; 
    width: 307px 
}

.backside { 
    background-image: url('pix/back.jpg'); 
    height: 201px; 
    width: 307px 
}

.finished { 
    background-image: url('pix/finished.jpg'); 
    height: 201px; 
    width: 307px 
}

.emptyset { 
    color: red; 
}

.graphdeck{
     background-image: url('pix/cardslice.png');
     background-repeat: repeat-y;
} 

.error{
    color: red; 
}

.bar{
    background-image: url('pix/men.png');
     background-repeat: repeat-x;
    border: solid 1px #0B2386;
}